finite performable procedure

[计] 有限执行过程